-
1 logic synthesis system
Микроэлектроника: система логического синтезаУниверсальный англо-русский словарь > logic synthesis system
-
2 logic synthesis system
система логічного синтезуEnglish-Ukrainian dictionary of microelectronics > logic synthesis system
-
3 automatic programmable logic array synthesis system
Универсальный англо-русский словарь > automatic programmable logic array synthesis system
-
4 automatic programmable logic array synthesis system
Engineering: APLASУниверсальный русско-английский словарь > automatic programmable logic array synthesis system
-
5 automatic programmable logic array synthesis system
= APLASEnglish-Russian electronics dictionary > automatic programmable logic array synthesis system
-
6 system
1) система 2) устаткування; пристрій - assembly system
- autolayout system
- automated accounting system
- automated photomasking system
- automated photomask system
- automatic data асquisition system
- automatic data analysis system
- automatic data digitizing system
- base-metal system
- batch system
- bi-etching system
- bubble test system
- building-block layout system
- CAD system
- cassette-to-cassette system
- chopping system
- closed-tube oxidation-diffusion system
- code-translation data system
- command retrieval system
- computer-aided design system
- conductor paste system
- conductor system
- continuous stage motion e-beam system
- Czochralski production system
- damage tolerant system
- data асquisition and display system
- data analysis and reduction system
- data collection and processing system
- decision data support system
- decision-support system
- deep-UV projection system
- design automation system
- die attach system
- dielectric paste system
- dielectric system
- diffusion system
- direct step-on-wafer system
- direct-write e-beam system
- dopant system
- double-chamber vacuum-deposition system
- double-track system
- electron-beam mask system
- electron-beam projection system
- encapsulation welding system
- epitaxial growth system
- epitaxial system
- epoxy dispensing system
- etchant regeneration system
- etching system
- etch/strip system
- evaporation system
- exposure system
- fabrication system
- fault-tolerant system
- flex-fab system
- flexible machining system
- fly’s eye system
- gate-array layout system
- Gaussian-beam e-beam system
- Genesil system
- graphite furnace atomic absorption system
- hierarchically CAD system
- hierarchical-oriented CAD system
- high-resolution electron-beam system
- IC system
- image projection system
- indexing system
- ink system
- in-line system
- integrated programmable gate-array system
- ion-beam system
- ion-beam sputtering system
- isoplanar system
- laminar-flow system
- lead-forming system
- lead-frame assembly system
- lithographic system
- lithography system
- logic analysis system
- logic synthesis system
- mask alignment and exposure system
- metal system
- metallization system
- Micralign system
- micro-Optical Electro-Mechanical systems MOEMS
- micro-Optical Electro-Mechanical systems
- micropower system
- multichip system
- multicircuit microprocessor system
- multidomain system
- multiple-tens camera system
- negative-resist system
- non-real-time data automation system
- one-step t-fault diagnosable system
- one-to-one scanning system
- on-line circuit analysis system
- on-line circuit design system
- open-ended CAD system
- open-tube system
- palladium-silver thick-film conductor system
- palladium-silver conductor system
- paste system
- photomasking system
- photorepeating system
- pick-and-place system
- planar plasma system
- plenum flush system
- portable CAD system
- positive resist system
- preinsertion processing system
- printed-circuit board assembly system
- printed-circuit assembly system
- probing system
- processing system
- production system
- projection printing system
- projection system
- quick vacuum system
- reduced system
- reducing electron -beam projection system
- reducing electron projection system
- reflow soldering system
- rinser/dryer system
- screen printing system
- scribing system
- self-documenting CAD system
- self-repair system
- sequentially t-fault diagnosable system
- shaped-beam e-beam system
- single-chip system
- SMIF system
- software test-bed system
- solder evacuation system
- solder fusion system
- split-chamber vacuum coating system
- split-field alignment system
- step-and-repeat system
- step-and-repeat photomask system
- step-on-wafer projection system
- surface measurement system
- terminal point detection system
- thermal mapping system
- thick-film resistor system
- transfer system
- transport system
- tri-metal system
- trimming system
- turnkey CAD system
- UV exposure system
- vacuum-deposition system
- vacuum purge system
- variable-shaped electron-beam exposure system
- vector-scan e-beam system
- wafer gaging system
- wafer routing system
- wafer-scale system
- wafer-stepper projection system
- wave solder system
- wiring system
- X-ray exposure system -
7 system
1) система || системный3) вчт операционная система; программа-супервизор5) вчт большая программа6) метод; способ; алгоритм•system halted — "система остановлена" ( экранное сообщение об остановке компьютера при наличии серьёзной ошибки)
- CPsystem- H-system- h-system- hydrogen-air/lead battery hybrid system- Ksystem- Lsystem- L*a*b* system- master/slave computer system- p-system- y-system- Δ-system -
8 current-mode logic
1. токовые логические схемыlogic synthesis — синтез логических схем; логический синтез
2. логика на переключателях токаEnglish-Russian big polytechnic dictionary > current-mode logic
-
9 система логического синтеза
Microelectronics: logic synthesis systemУниверсальный русско-английский словарь > система логического синтеза
-
10 LSS
-
11 ILS
instrument landing system — система посадки по приборам; слепая посадкаincremental logic synthesis — инкрементный ( поэтапный) логический синтез -
12 tool
1) инструмент; орудие, орудие производства2) резец; инструмент, режущий инструмент; черновой резец ( зубострогального станка)3) приспособление; оснастка4) pl инструментарий; средства; совокупность инструментов6) налаживать ( станок)•to adjust the tool axially — регулировать инструмент в осевом направлении, смещать инструмент в осевом направлении
- 3D modeling toolsto tool roughly — начерно обрабатывать, грубо обрабатывать
- abrading tool
- abrasive tool
- AC-assisted machine tool
- activated tool
- adapter tool
- adjusting tool
- AI tools
- AI-based modeling tools
- air tool
- alternate tool
- analysis tool
- angle head tool
- angle portable tool
- angled tool
- angle-drilling tool
- annular broaching tool
- antivibration jumper installing tool
- application tools
- arm tool
- assembly tool
- assigned tool
- auxiliary tool
- backspot-facing tool
- backup tool
- back-working tool
- bad tool
- ball nose end cutting tool
- ball-nosed cutting tool
- band tool
- bending tool
- bent tool
- best tools
- blanking tool
- block tool
- boring tool
- box tool
- brazed tool
- brazed-tip tool
- broach tool
- broaching tool
- broad-nose finishing tool
- broad-nosed finishing tool
- broad-nosed tool
- broad-parting tool
- broad-tool
- BTA tool
- bucking tool
- burnishing tool
- burring tool
- cam-controlled machine tool
- carbide tool
- carbide-faced tool
- carbide-inserted tool
- carbide-tipped tool
- carbon-steel tool
- cartridge-type tool
- caulking tool
- CBN cutting tool
- CBN tool
- cemented carbide tool
- cemented-oxide tool
- center tool
- centering tool
- centering-and-facing tool
- ceramic tool
- chamfering tool
- chasing tool
- chemical vapor deposited tools
- chipped tool
- circular form tool
- circular tool
- clamped-tip tool
- clamping tool
- clipping tool
- CNC tools
- CNC ultra-precision machine tool
- CNC-sharpened tool
- coated tool
- coated-carbide cutting tool
- coining press tool
- collet release tool
- collet tool
- combination internal-external tool
- combination machine tool
- combination tool
- combined tool
- computer-controlled machine tool
- contour form milling tool
- contour milling tool
- contour turning tool
- control tools
- coolant-fed tool
- copy lathe tool
- copying tool
- cordless SPC tool
- core tool
- corrugated tool
- counterboring tool
- counter-rotating tool
- cross-drilling/milling tools
- crossworking tool
- crowning shaving tool
- cubic-boron-nitride cutting tool
- cup tool
- curling press tool
- customized machine tool
- cutoff tool
- cutter tool
- cutting laser tool
- cutting tool with inserted blades
- cutting tool
- cutting-off bit tool
- cutting-off tool
- CVD tools
- dead-end tool
- debugging tools
- deburring tool
- dedicated tool
- deep pocket tool
- design tools
- design verification tools
- development tools
- diagnostics tools
- diamond burnishing tool
- diamond tool
- diamond-coated tool
- diamond-edge tool
- diamond-plated tool
- diamond-turning tool
- digitized tool
- disposable cutting tools
- disposable insert tool
- DNC machine tool
- DNC-supported machine tool
- double-acting deburring tool
- double-diameter tool
- double-index roughing tool
- dressing tool
- drill burnishing tool
- drill tool
- drill/tap tool
- drilling tool
- driven tool
- driving tool
- duplicate tools
- edge tool
- EDM tool
- embossing press tool
- end mill tool
- end tool
- end-cutting tool
- end-working tool
- engraving tool
- erecting tool
- expandable abrading tool
- expanding block boring tool
- expanding block-type boring tool
- external tool
- external turning tool
- face grooving tool
- facing tool
- fastening tool
- feed-out tool
- fillet tool
- filleting tool
- fine boring tool
- finish tool
- finish-cut tool
- finishing tool
- first-selection backup tools
- fixed tool
- flat form tool
- flatted parallel shank tool
- flooded coolant tool
- fluted tool
- fly tool
- follow tools
- form tool
- forming machine tool
- forming tool
- fresh cutting tool
- front endworking tool
- gaged master tool
- ganged tools
- gear cutting tool
- gear tool
- general-purpose machine tool
- generating tool
- gooseneck tool
- grabbing tool
- grinding tool
- gripper tool
- gripping tool
- grooving tool
- hand-guided tool
- hand-held grinding tool
- hand-held tool
- hard pointed tool
- heading tool
- heavy-duty machine tool
- high-positive geometry tool
- high-positive-rake tool
- high-speed machine tool
- high-speed steel tool
- high-speed steel-cutting tool
- high-usage tools
- hold-down tool
- honing tool
- hot-set tool
- ID step tool
- ID tool
- idling tool
- image acquisition tools
- impregnated abrasive tool
- impregnated diamond tool
- inactive tool
- indexable cutting tool
- indexable-insert tool
- indexing machine tool
- infeed slide tool
- injection tool
- in-line powered tool
- insert tool
- inserted blade-type tool
- inserted carbide tool
- inserted tip tool
- insertion tool
- inside corner tool
- inside recessing tool
- inside turning tool
- inspection tool
- installation tool
- integrated tools
- integration tools
- interactive design tools
- internal boring tool
- internal diameter tool
- internally operating tool
- inward flanging press tool
- ironing press tool
- irradiated tool
- knowledge engineering tools
- knurling tool
- lab-quality inspection tool
- lancing press tool
- lapping tool
- large hybrid system building tools
- large narrow system building tools
- laser alignment tools
- laser leveling tool
- laser tool
- lathe tool
- layout tool
- left-hand tool
- leveling tool
- LH tool
- life-expired tool
- linear mounted tool
- locating tool
- logic-synthesis tools
- machine tool
- machining tool
- manually adjustable tool
- marking tool
- master tool
- measuring tool
- metal-cutting tool
- metalforming machine tool
- microsizing tool
- migrating tool
- milling tool
- miniCNC machine tool
- misplaced tool
- mis-set tool
- modeling tools
- modular tool
- mold tool
- molding tool
- monocrystalline diamond tool
- multicavity molding tool
- multifaceted tool
- multifluted tool
- multigrooving tool
- multiimpression injection tool
- multiple blanking tool
- multiple insert tool
- multiple-cavity mold tool
- multiple-impression press tool
- multipoint tool
- multipoint-cutting tool
- multitoothed tool
- narrow system building tools
- NC machine tool
- NC tool
- negative-rake cutting tool
- noncutting machine tool
- nonrotating tool
- notching press tool
- odd-fluted cutting tool
- OD-turning tool
- OD-working tool
- offset tool
- oil hole tool
- old tool
- one-sensor-one tool
- operating tool
- order-related tool
- outward flanging press tool
- pallet tools
- parallel-shank tool
- parallel-shanked tool
- particle-type dressing tool
- parting press tool
- parting tool
- part-off tool
- PCD tool
- percussive tool
- perishable tool
- physicochemical machine tool
- pickup tool
- piercing tool
- placement tool
- planer tool
- planing tool
- platen-mounted tool
- pneumatic tool
- polishing machine tool
- polycrystalline CBN cutting tool
- polycrystalline-diamond-edge tool
- polycrystalline-diamond-tipped tool
- polygon tool
- polygonal tool
- portable air tool
- portable expanding tool
- portable pneumatic tool
- portable power tool
- portable sinking tool
- portable tool
- positive/negative tool
- positive/positive tool
- positive-rake cutting tool
- positive-rake tool
- power tools
- powered rotary tool
- powered tool
- power-positioned tool
- preadjusted tool
- preformed boring tool
- preset qualified tool
- preset tool
- presettable tool
- press tool
- prismatic tool
- probe tool
- process tool
- processing tool
- production machine tool
- profiling tool
- programming tools
- protuberance tool
- punching press tool
- qualified tool
- quick-change tools
- rack-type tool
- radial cutting tool
- radioactive tool
- random tool
- rapid change tool
- rapidly wearing tool
- rear endworking tool
- rebuilt machine tool
- recessing tool
- reciprocating gear cutting tool
- reconditioned tool
- refurbished tool
- replaceable-insert tool
- replacement tool
- retrofitted machine tool
- RH tool
- right-angled powered tool
- right-hand tool
- rivet shaving tool
- roller-burnishing tool
- roll-forming tool
- rolling-in tool
- rotary pneumatic tool
- rotary tool
- rotating tool
- rotating turret tool
- rough boring tool
- rough cut tool
- roughing tool
- rough-turning tool
- round tool
- rounded tool
- round-nose tool
- round-nosed tool
- router tool
- routing tool
- scraping tool
- screw-cutting tool
- screw-rolling tool
- second selection backup tools
- segmented bulging press tool
- self-correcting tool
- shank tool
- shankless cutting tool
- shaped tool
- shaper-cutting tool
- shaping tool
- shared tools
- shaving press tool
- shaving tool
- shear tool
- short chipping tool
- side cutting tool
- side tool
- silicon nitride cutting tools
- silicon nitride tool
- simulation tools
- single-crystal tool
- single-layer tool
- single-pass tool
- single-point threading tool
- single-point tool
- single-purpose machine tool
- single-tip tool
- sister tool
- slitting tool
- slotting tool
- smoothing roller tool
- software development tools
- software tools
- software-based integration tools
- solid bit tool
- solid carbide tool
- solid modeling tools
- solid tool
- SPC tool
- specialized machine tool
- specially outfitted machine tool
- spent tool
- spindle probe tool
- spinning tool
- spline drive tool
- split bulging press tool
- spot-facing tool
- spotting tool
- square cutting tool
- square thread tool
- stamping tool
- static tool
- stationary tool
- step tool
- straight portable tool
- straight shank tool
- straight tool
- straight turning tool
- stripping tool
- stub boring tool
- superabrasive-plated tool
- support tools
- surfacing tool
- swan-neck tool
- sweep tool
- sweeping tool
- tail-end tools
- taper shank tool
- tapered shank tool
- tapping tool
- taught tool
- testing tools
- thermal tool
- thread milling tool
- thread turning tool
- thread-cutting tool
- threaded shank tool
- threading tool
- thread-rolling tool
- throwaway carbide tool
- throwaway insert tool
- throwaway tip tool
- throwaway tool
- tipped tool
- titanium-carbide-coated tool
- to tool up
- touch sensitive tool
- transfer tool
- transparent tool
- trepanning tool
- triangular cutting tool
- trim tool
- truing tool
- tube-expanding tool
- Tunruf tool
- turning tool
- turret tool
- ultrasonic tool
- undercutting tool
- underrun tool
- underused tool
- underutilized tool
- undetected broken tool
- unit-type machine tool
- universal boring and thread milling tool
- unmanned machine tool
- untended CNC machine tool
- versatile machine tool
- vibrating tool
- viscous damped tool
- visualization tools
- V-thread tool
- wear-prone tool
- welding laser tool
- wide-finishing tool
- wire-forming tool
- wireless measuring tool
- wobble broach tool
- wood-cutting tool
- workplace tool
- worm-configured tool
- worn cutting tool
- X-axis tool
- Y-axis tool
- Z-axis toolEnglish-Russian dictionary of mechanical engineering and automation > tool
-
13 APLAS
-
14 автоматизированная система синтеза программируемых логических матриц
Engineering: automatic programmable logic array synthesis systemУниверсальный русско-английский словарь > автоматизированная система синтеза программируемых логических матриц
-
15 APLAS
automatic programmable logic array synthesis system - автоматизированная система синтеза программируемых логических матриц -
16 APLAS
= automatic programmable logic array synthesis system -
17 APLAS
сокр. от automatic programmable logic array synthesis systemThe New English-Russian Dictionary of Radio-electronics > APLAS
-
18 capability
1) способность2) мощность; производительность4) pl возможности; характеристики•- 2D-geometry capability
- 3D-curve following capability
- 3D-geometry capability
- 3D-modeling capability
- active capability
- all-to-all capability
- alpha-numeric capability
- arc capability
- audit trail capability
- bidirectional transfer capability
- boring tolerance capability
- CAD capabilities
- CAD merge capabilities
- CAM capability
- clamping capability
- commercial capabilities
- compensating capability
- correctional capability
- cushioning capability
- cutting capability
- datum point capability
- DNC capabilities
- driven tooling capability
- dual mounting capability
- finding capability
- five-axis capability
- floating-point capability
- free ranging capability
- graphics capability
- high-precision capability
- index capability
- interactive capability
- intervendor computing capability
- live-tooling capabilities
- load-carrying capability
- logic-synthesis capability
- look-ahead capability
- machine's capabilities
- manufacturing capability
- measurement capability
- measurement velocity capability
- minimum tool offset capability
- mitering capability
- multiclass capability
- multilingual capability
- multimachining capability
- multiprocessing capability
- multitask capability
- multiuser capability
- NC parts programming capability
- one-hit capability
- one-object-of-a-time capability
- operating capabilities
- output capability
- pallet-shuttle capability
- parallel-tooling capability
- parametric geometry capability
- parts programming capability
- parts-making capability
- payload capability
- photorealistic enlargement capability
- portability capability
- power handling capability
- process capability
- punching capability
- quality capability
- quick-change-over capability
- quick-setup capability
- reasoning capabilities
- remote I/O capability
- repeat index capability
- robot process capability
- self-correcting capability
- self-diagnostic capability
- sensory capability of control system
- shaft capability
- six-increment capability
- stock removal capability
- stroke/refresh capability
- teach-and-learn capability
- thermal-compensation capability
- three-axis capability
- throughput capability
- tool storage capability
- top speed capability
- traverse capability
- turning-like capability
- two-axis capability
- variable mission capability
- variable-height loading capability
- visual/voice capability
- wish-list capabilitiesEnglish-Russian dictionary of mechanical engineering and automation > capability
-
19 Artificial Intelligence
In my opinion, none of [these programs] does even remote justice to the complexity of human mental processes. Unlike men, "artificially intelligent" programs tend to be single minded, undistractable, and unemotional. (Neisser, 1967, p. 9)Future progress in [artificial intelligence] will depend on the development of both practical and theoretical knowledge.... As regards theoretical knowledge, some have sought a unified theory of artificial intelligence. My view is that artificial intelligence is (or soon will be) an engineering discipline since its primary goal is to build things. (Nilsson, 1971, pp. vii-viii)Most workers in AI [artificial intelligence] research and in related fields confess to a pronounced feeling of disappointment in what has been achieved in the last 25 years. Workers entered the field around 1950, and even around 1960, with high hopes that are very far from being realized in 1972. In no part of the field have the discoveries made so far produced the major impact that was then promised.... In the meantime, claims and predictions regarding the potential results of AI research had been publicized which went even farther than the expectations of the majority of workers in the field, whose embarrassments have been added to by the lamentable failure of such inflated predictions....When able and respected scientists write in letters to the present author that AI, the major goal of computing science, represents "another step in the general process of evolution"; that possibilities in the 1980s include an all-purpose intelligence on a human-scale knowledge base; that awe-inspiring possibilities suggest themselves based on machine intelligence exceeding human intelligence by the year 2000 [one has the right to be skeptical]. (Lighthill, 1972, p. 17)4) Just as Astronomy Succeeded Astrology, the Discovery of Intellectual Processes in Machines Should Lead to a Science, EventuallyJust as astronomy succeeded astrology, following Kepler's discovery of planetary regularities, the discoveries of these many principles in empirical explorations on intellectual processes in machines should lead to a science, eventually. (Minsky & Papert, 1973, p. 11)5) Problems in Machine Intelligence Arise Because Things Obvious to Any Person Are Not Represented in the ProgramMany problems arise in experiments on machine intelligence because things obvious to any person are not represented in any program. One can pull with a string, but one cannot push with one.... Simple facts like these caused serious problems when Charniak attempted to extend Bobrow's "Student" program to more realistic applications, and they have not been faced up to until now. (Minsky & Papert, 1973, p. 77)What do we mean by [a symbolic] "description"? We do not mean to suggest that our descriptions must be made of strings of ordinary language words (although they might be). The simplest kind of description is a structure in which some features of a situation are represented by single ("primitive") symbols, and relations between those features are represented by other symbols-or by other features of the way the description is put together. (Minsky & Papert, 1973, p. 11)[AI is] the use of computer programs and programming techniques to cast light on the principles of intelligence in general and human thought in particular. (Boden, 1977, p. 5)The word you look for and hardly ever see in the early AI literature is the word knowledge. They didn't believe you have to know anything, you could always rework it all.... In fact 1967 is the turning point in my mind when there was enough feeling that the old ideas of general principles had to go.... I came up with an argument for what I called the primacy of expertise, and at the time I called the other guys the generalists. (Moses, quoted in McCorduck, 1979, pp. 228-229)9) Artificial Intelligence Is Psychology in a Particularly Pure and Abstract FormThe basic idea of cognitive science is that intelligent beings are semantic engines-in other words, automatic formal systems with interpretations under which they consistently make sense. We can now see why this includes psychology and artificial intelligence on a more or less equal footing: people and intelligent computers (if and when there are any) turn out to be merely different manifestations of the same underlying phenomenon. Moreover, with universal hardware, any semantic engine can in principle be formally imitated by a computer if only the right program can be found. And that will guarantee semantic imitation as well, since (given the appropriate formal behavior) the semantics is "taking care of itself" anyway. Thus we also see why, from this perspective, artificial intelligence can be regarded as psychology in a particularly pure and abstract form. The same fundamental structures are under investigation, but in AI, all the relevant parameters are under direct experimental control (in the programming), without any messy physiology or ethics to get in the way. (Haugeland, 1981b, p. 31)There are many different kinds of reasoning one might imagine:Formal reasoning involves the syntactic manipulation of data structures to deduce new ones following prespecified rules of inference. Mathematical logic is the archetypical formal representation. Procedural reasoning uses simulation to answer questions and solve problems. When we use a program to answer What is the sum of 3 and 4? it uses, or "runs," a procedural model of arithmetic. Reasoning by analogy seems to be a very natural mode of thought for humans but, so far, difficult to accomplish in AI programs. The idea is that when you ask the question Can robins fly? the system might reason that "robins are like sparrows, and I know that sparrows can fly, so robins probably can fly."Generalization and abstraction are also natural reasoning process for humans that are difficult to pin down well enough to implement in a program. If one knows that Robins have wings, that Sparrows have wings, and that Blue jays have wings, eventually one will believe that All birds have wings. This capability may be at the core of most human learning, but it has not yet become a useful technique in AI.... Meta- level reasoning is demonstrated by the way one answers the question What is Paul Newman's telephone number? You might reason that "if I knew Paul Newman's number, I would know that I knew it, because it is a notable fact." This involves using "knowledge about what you know," in particular, about the extent of your knowledge and about the importance of certain facts. Recent research in psychology and AI indicates that meta-level reasoning may play a central role in human cognitive processing. (Barr & Feigenbaum, 1981, pp. 146-147)Suffice it to say that programs already exist that can do things-or, at the very least, appear to be beginning to do things-which ill-informed critics have asserted a priori to be impossible. Examples include: perceiving in a holistic as opposed to an atomistic way; using language creatively; translating sensibly from one language to another by way of a language-neutral semantic representation; planning acts in a broad and sketchy fashion, the details being decided only in execution; distinguishing between different species of emotional reaction according to the psychological context of the subject. (Boden, 1981, p. 33)Can the synthesis of Man and Machine ever be stable, or will the purely organic component become such a hindrance that it has to be discarded? If this eventually happens-and I have... good reasons for thinking that it must-we have nothing to regret and certainly nothing to fear. (Clarke, 1984, p. 243)The thesis of GOFAI... is not that the processes underlying intelligence can be described symbolically... but that they are symbolic. (Haugeland, 1985, p. 113)14) Artificial Intelligence Provides a Useful Approach to Psychological and Psychiatric Theory FormationIt is all very well formulating psychological and psychiatric theories verbally but, when using natural language (even technical jargon), it is difficult to recognise when a theory is complete; oversights are all too easily made, gaps too readily left. This is a point which is generally recognised to be true and it is for precisely this reason that the behavioural sciences attempt to follow the natural sciences in using "classical" mathematics as a more rigorous descriptive language. However, it is an unfortunate fact that, with a few notable exceptions, there has been a marked lack of success in this application. It is my belief that a different approach-a different mathematics-is needed, and that AI provides just this approach. (Hand, quoted in Hand, 1985, pp. 6-7)We might distinguish among four kinds of AI.Research of this kind involves building and programming computers to perform tasks which, to paraphrase Marvin Minsky, would require intelligence if they were done by us. Researchers in nonpsychological AI make no claims whatsoever about the psychological realism of their programs or the devices they build, that is, about whether or not computers perform tasks as humans do.Research here is guided by the view that the computer is a useful tool in the study of mind. In particular, we can write computer programs or build devices that simulate alleged psychological processes in humans and then test our predictions about how the alleged processes work. We can weave these programs and devices together with other programs and devices that simulate different alleged mental processes and thereby test the degree to which the AI system as a whole simulates human mentality. According to weak psychological AI, working with computer models is a way of refining and testing hypotheses about processes that are allegedly realized in human minds.... According to this view, our minds are computers and therefore can be duplicated by other computers. Sherry Turkle writes that the "real ambition is of mythic proportions, making a general purpose intelligence, a mind." (Turkle, 1984, p. 240) The authors of a major text announce that "the ultimate goal of AI research is to build a person or, more humbly, an animal." (Charniak & McDermott, 1985, p. 7)Research in this field, like strong psychological AI, takes seriously the functionalist view that mentality can be realized in many different types of physical devices. Suprapsychological AI, however, accuses strong psychological AI of being chauvinisticof being only interested in human intelligence! Suprapsychological AI claims to be interested in all the conceivable ways intelligence can be realized. (Flanagan, 1991, pp. 241-242)16) Determination of Relevance of Rules in Particular ContextsEven if the [rules] were stored in a context-free form the computer still couldn't use them. To do that the computer requires rules enabling it to draw on just those [ rules] which are relevant in each particular context. Determination of relevance will have to be based on further facts and rules, but the question will again arise as to which facts and rules are relevant for making each particular determination. One could always invoke further facts and rules to answer this question, but of course these must be only the relevant ones. And so it goes. It seems that AI workers will never be able to get started here unless they can settle the problem of relevance beforehand by cataloguing types of context and listing just those facts which are relevant in each. (Dreyfus & Dreyfus, 1986, p. 80)Perhaps the single most important idea to artificial intelligence is that there is no fundamental difference between form and content, that meaning can be captured in a set of symbols such as a semantic net. (G. Johnson, 1986, p. 250)Artificial intelligence is based on the assumption that the mind can be described as some kind of formal system manipulating symbols that stand for things in the world. Thus it doesn't matter what the brain is made of, or what it uses for tokens in the great game of thinking. Using an equivalent set of tokens and rules, we can do thinking with a digital computer, just as we can play chess using cups, salt and pepper shakers, knives, forks, and spoons. Using the right software, one system (the mind) can be mapped into the other (the computer). (G. Johnson, 1986, p. 250)19) A Statement of the Primary and Secondary Purposes of Artificial IntelligenceThe primary goal of Artificial Intelligence is to make machines smarter.The secondary goals of Artificial Intelligence are to understand what intelligence is (the Nobel laureate purpose) and to make machines more useful (the entrepreneurial purpose). (Winston, 1987, p. 1)The theoretical ideas of older branches of engineering are captured in the language of mathematics. We contend that mathematical logic provides the basis for theory in AI. Although many computer scientists already count logic as fundamental to computer science in general, we put forward an even stronger form of the logic-is-important argument....AI deals mainly with the problem of representing and using declarative (as opposed to procedural) knowledge. Declarative knowledge is the kind that is expressed as sentences, and AI needs a language in which to state these sentences. Because the languages in which this knowledge usually is originally captured (natural languages such as English) are not suitable for computer representations, some other language with the appropriate properties must be used. It turns out, we think, that the appropriate properties include at least those that have been uppermost in the minds of logicians in their development of logical languages such as the predicate calculus. Thus, we think that any language for expressing knowledge in AI systems must be at least as expressive as the first-order predicate calculus. (Genesereth & Nilsson, 1987, p. viii)21) Perceptual Structures Can Be Represented as Lists of Elementary PropositionsIn artificial intelligence studies, perceptual structures are represented as assemblages of description lists, the elementary components of which are propositions asserting that certain relations hold among elements. (Chase & Simon, 1988, p. 490)Artificial intelligence (AI) is sometimes defined as the study of how to build and/or program computers to enable them to do the sorts of things that minds can do. Some of these things are commonly regarded as requiring intelligence: offering a medical diagnosis and/or prescription, giving legal or scientific advice, proving theorems in logic or mathematics. Others are not, because they can be done by all normal adults irrespective of educational background (and sometimes by non-human animals too), and typically involve no conscious control: seeing things in sunlight and shadows, finding a path through cluttered terrain, fitting pegs into holes, speaking one's own native tongue, and using one's common sense. Because it covers AI research dealing with both these classes of mental capacity, this definition is preferable to one describing AI as making computers do "things that would require intelligence if done by people." However, it presupposes that computers could do what minds can do, that they might really diagnose, advise, infer, and understand. One could avoid this problematic assumption (and also side-step questions about whether computers do things in the same way as we do) by defining AI instead as "the development of computers whose observable performance has features which in humans we would attribute to mental processes." This bland characterization would be acceptable to some AI workers, especially amongst those focusing on the production of technological tools for commercial purposes. But many others would favour a more controversial definition, seeing AI as the science of intelligence in general-or, more accurately, as the intellectual core of cognitive science. As such, its goal is to provide a systematic theory that can explain (and perhaps enable us to replicate) both the general categories of intentionality and the diverse psychological capacities grounded in them. (Boden, 1990b, pp. 1-2)Because the ability to store data somewhat corresponds to what we call memory in human beings, and because the ability to follow logical procedures somewhat corresponds to what we call reasoning in human beings, many members of the cult have concluded that what computers do somewhat corresponds to what we call thinking. It is no great difficulty to persuade the general public of that conclusion since computers process data very fast in small spaces well below the level of visibility; they do not look like other machines when they are at work. They seem to be running along as smoothly and silently as the brain does when it remembers and reasons and thinks. On the other hand, those who design and build computers know exactly how the machines are working down in the hidden depths of their semiconductors. Computers can be taken apart, scrutinized, and put back together. Their activities can be tracked, analyzed, measured, and thus clearly understood-which is far from possible with the brain. This gives rise to the tempting assumption on the part of the builders and designers that computers can tell us something about brains, indeed, that the computer can serve as a model of the mind, which then comes to be seen as some manner of information processing machine, and possibly not as good at the job as the machine. (Roszak, 1994, pp. xiv-xv)The inner workings of the human mind are far more intricate than the most complicated systems of modern technology. Researchers in the field of artificial intelligence have been attempting to develop programs that will enable computers to display intelligent behavior. Although this field has been an active one for more than thirty-five years and has had many notable successes, AI researchers still do not know how to create a program that matches human intelligence. No existing program can recall facts, solve problems, reason, learn, and process language with human facility. This lack of success has occurred not because computers are inferior to human brains but rather because we do not yet know in sufficient detail how intelligence is organized in the brain. (Anderson, 1995, p. 2)Historical dictionary of quotations in cognitive science > Artificial Intelligence
-
20 digital
- 1
- 2
См. также в других словарях:
Logic synthesis — is a process by which an abstract form of desired circuit behavior (typically register transfer level (RTL) or behavioral) is turned into a design implementation in terms of logic gates. Common examples of this process include synthesis of HDLs,… … Wikipedia
Logic Pro — Logic 8 Developer(s) Apple Inc. Stable release 9.1.5 / 2011 08 08 Operating system … Wikipedia
Logic simulation — is the use of a computer program to simulate the operation of a digital circuit. Logic simulation is the primary tool used for verifying the logical correctness of a hardware design. In many cases logic simulation is the first activity performed… … Wikipedia
High-level synthesis — (HLS), sometimes referred to as C synthesis, electronic system level (ESL) synthesis, algorithmic synthesis, or behavioral synthesis, is an automated design process that interprets an algorithmic description of a desired behavior and creates… … Wikipedia
Espresso heuristic logic minimizer — The Espresso logic minimizer is a computer program using heuristic and specific algorithms for efficiently reducing the complexity of digital electronic gate circuits.[1] Espresso was developed at IBM by Robert Brayton. Rudell later published the … Wikipedia
Tautology (logic) — In propositional logic, a tautology (from the Greek word ταυτολογία) is a propositional formula that is true under any possible valuation (also called a truth assignment or an interpretation) of its propositional variables. For example, the… … Wikipedia
Delay Insensitive Minterm Synthesis — Invented by David E. Muller, the DIMS (Delay Insensitive Minterm Synthesis) system[1] is an asynchronous design methodology making the least possible timing assumptions. Assuming only the Quasi Delay Insensitive delay model the generated designs… … Wikipedia
Hegel’s logic and philosophy of mind — Willem deVries LOGIC AND MIND IN HEGEL’S PHILOSOPHY Hegel is above all a systematic philosopher. Awe inspiring in its scope, his philosophy left no subject untouched. Logic provides the central, unifying framework as well as the general… … History of philosophy
Ternary logic — A ternary, three valued or trivalent logic (sometimes abbreviated 3VL) is a term to describe any of several multi valued logic systems in which there are three truth values indicating true , false and some third value. This is contrasted with the … Wikipedia
Expert system — In artificial intelligence, an expert system is a computer system that emulates the decision making ability of a human expert.[1] Expert systems are designed to solve complex problems by reasoning about knowledge, like an expert, and not by… … Wikipedia
Mill, John Stuart: Logic and metaphysics — J.S.Mill Logic and metaphysics John Skorupski ENLIGHTENMENT AND ROMANTICISM IN MILL’S PHILOSOPHY Mill’s importance as one of the major figures of nineteenth century politics and culture, and the current interest in him as a moral and political… … History of philosophy